منابع مشابه
Extracting MUSes
Minimally unsatisfiable subformulas (in short, MUSes) represent the smallest explanations for the inconsistency of SAT instances in terms of the number of involved clauses. Extracting MUSes can thus prove valuable because it circumscribes the sources of contradiction in an instance. In this paper, a new heuristic-based approach to approximate or compute MUSes is presented. It is shown that it o...
متن کاملUsing Local Search to Find and MUSes
In this paper, a new complete technique to compute Maximal Satisfiable Subsets (MSSes) and Minimally Unsatisfiable Subformulas (MUSes) of sets of Boolean clauses is introduced. The approach improves the currently most efficient complete technique in several ways. It makes use of the powerful concept of critical clause and of a computationally inexpensive local search oracle to boost an exhausti...
متن کاملConnecting to the Past
505 Recently there has been renewed interest in neural-like processing systems, evidenced for example in the two volumes Parallel Distributed Processing edited by Rumelhart and McClelland, and discussed as parallel distributed systems, connectionist models, neural nets, value passing systems and multiple context systems. Dissatisfaction with symbolic manipulation paradigms for artificial intell...
متن کاملOn Efficient Computation of Variable MUSes
In this paper we address the following problem: given an unsatisfiable CNF formula F , find a minimal subset of variables of F that constitutes the set of variables in some unsatisfiable core of F . This problem, known as variable MUS (VMUS) computation problem, captures the need to reduce the number of variables that appear in unsatisfiable cores. Previous work on computation of VMUSes propose...
متن کاملThe Muses of Poetry - In search of the poetic experience
This paper presents the current advances in “The Muses of Poetry”, an on-going project that combines interaction, emotions and poetry. The goal of the project is to create an interactive installation where a virtual character not only recites poetry, but also manifests the affective content of the poem through facial expressions and voice rhythm. The novelty of our work is the combination of di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: British Journal of Guidance & Counselling
سال: 2018
ISSN: 0306-9885,1469-3534
DOI: 10.1080/03069885.2018.1442917